BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Logic in computer science
• Operational semantics
• BRIC
• Peter Mosses
• Gordon Plotkin
• Congruence relation
• Theoretical computer science
• Mathematics
• Formal methods

BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Computer science
• Models of computation
• Applied mathematics
• Logic in computer science
• Normalisation by evaluation
• Denotational semantics
• De Bruijn index
• Symbol
• Administrative normal form
• Theoretical computer science
• Lambda calculus
• Programming language semantics

BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Applied mathematics
• Symbol
• Denotational semantics
• State transition system
• Operational semantics
• Theoretical computer science
• Models of computation
• Logic in computer science

BRICS Basic Research in Computer Science BRICS RSPagh & Rodler: Lossy Dictionaries Lossy Dictionaries

Source URL: www.brics.dk

• Computer programming
• Abstract data types
• Data types
• Information retrieval
• Cryptographic hash functions
• Hash table
• Hash function
• Associative array
• Bit array
• Search algorithms
• Computing
• Hashing

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

THE EXPANDED TECH-CHECK These questions will help determine larger-scale technology issues that may include high-level programming and backend development needs. This is used initially as a checkpoint at a very basic lev

Source URL: www.web-redesign.com

BRICS RS-08-5 Danvy & Johannsen: Inter-Deriving Semantic Artifacts for Object-Oriented Programming BRICS Basic Research in Computer Science

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSL. Kristiansen: The Implicit Computational Complexity of Imperative Programming Languages The Implicit Computational Complexity of

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSNielsen et al.: On the Expressive Power of Concurrent Constraint Programming Languages On the Expressive Power of Concurrent

Source URL: www.brics.dk

Chapter 2 Functional languages Programming languages are said to be functional when the basic way of structuring programs is the notion of function and their essential control structure is function application. For exam

Source URL: caml.inria.fr